((v1 v2 3) (v2 v3 7) (v3 v4 7) (v4 v1 9))
39
()